High-Performance and Scalable Designs of Programming Models for Exascale Systems Talk at HPC Advisory Council Switzerland Conferenceby Dhabaleswar K. (DK) Panda

Source URL: hpcadvisorycouncil.com

• Computing
• Concurrent computing
• Computer architecture
• Parallel computing
• Partitioned global address space
• Message Passing Interface
• Multi-core processor
• SHMEM
• Exascale computing
• K computer
• Coprocessor
• Supercomputer

Accelerating Big Data Processing with Hadoop, Spark and Memcached Talk at HPC Advisory Council Switzerland Conference (Mar ‘15) by Dhabaleswar K. (DK) Panda The Ohio State University

Source URL: hpcadvisorycouncil.com

• Computing
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Computer networks
• Parallel computing
• Apache Hadoop
• Remote direct memory access
• IWARP
• InfiniBand
• Apache Spark
• Apache HBase

CHAPTER 160 SWITZERLAND Workshop Smart Cities BaselGenevaRev. 1.1 –

Source URL: www.asisonline.ch

• Prevention
• Emergency management
• Safety
• Disaster preparedness
• Business continuity
• National security
• Internet of things
• Humanitarian aid
• Resilience
• Smart city
• Computer security
• Urban resilience

Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path

The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

Source URL: www.netsec.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Internet
• Routing
• Internet Standards
• Internet protocols
• Forwarding plane
• Router
• Border Gateway Protocol
• Open Shortest Path First
• Multiprotocol Label Switching

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Constraint programming
• Software engineering
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Boolean satisfiability problem
• DPLL algorithm
• Constraint satisfaction problem

Swiss Bankers Prepaid Services AG KramgasseGrosshöchstetten Switzerland Tel. +

Source URL: www.swissbankers.ch

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Source URL: files.sri.inf.ethz.ch

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics

GfK Switzerland AG Dezember 2014 Auftraggeber und Herausgeber Staatssekretariat für Wirtschaft SECO, Direktion für Standortförderung, Ressort KMU-Politik

Source URL: www.seco.admin.ch

Park Résidence, Industriestrasse 16, 6300 Zug, Switzerland www.bitcoinsuisse.ch Framework Agreement

Source URL: www.bitcoinsuisse.ch

• Bank regulation
• Banking in India
• Know your customer
• Cryptocurrencies
• Financial services
• Money
• Finance
• Alternative currencies